Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

The Automatic Door System: With Statements Explained
dev.to·1d·
Discuss: DEV
🧠Separation Logic
Multi-Core By Default
rfleury.com·17h·
🔩Systems Programming
An enough week
blog.mitrichev.ch·23h·
📈Linear programming
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📜Proof Carrying Code
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
GoMem is a high-performance memory allocator library for Go
github.com·16h
🧠Memory Allocators
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
QUIC! Jump to User Space!
hackaday.com·3h
🌐Network Protocols
From Static Rate Limiting to Adaptive Traffic Management in Airbnb’s Key-Value Store
medium.com·1d
🌊Streaming Systems
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·1d
📏Linear Logic
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
💻Programming languages
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·9h·
Discuss: DEV
🤖Paleographic AI
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·7h·
Discuss: Hacker News
🔩Systems Programming